含光混世贵无名,孤高何用比云月
forward rule-based deduction system

查询结果如下:

详细条目 英文搜索 <<快速查询:
简典